POLICE distributed conflict detection architectureDURSUN, Taner; ÖRENCIK, Bülent.IEEE International Conference on Communications. 2004, isbn 0-7803-8533-0, vol4, 2081-2085Conference Paper

Abstract design and program translator: new tools for software designARCHIBALD, J. L; LEAVENWORTH, B. M; POWER, L. R et al.IBM systems journal. 1983, Vol 22, Num 3, pp 170-187, issn 0018-8670Article

ESPRESO ― A system for process control software specificationLUDEWIG, J.IEEE transactions on software engineering. 1983, Vol 9, Num 4, pp 427-436, issn 0098-5589Article

Richer types for ZSPIVEY, M.Formal aspects of computing. 1996, Vol 8, Num 5, pp 565-584, issn 0934-5043Article

A metamodel for package extension with renamingCLARK, Tony; EVANS, Andy; KENT, Stuart et al.Lecture notes in computer science. 2002, pp 305-320, issn 0302-9743, isbn 3-540-44254-5, 16 p.Conference Paper

Description of a tool for specifying and prototyping concurrent programsDE FRANCESCO, N; VAGLINI, G.IEEE transactions on software engineering. 1988, Vol 14, Num 11, pp 1554-1564, issn 0098-5589Article

Completeness of proof systems for equatorial specificationsMACQUEEN, D. B; SANNELLA, D. T.IEEE transactions on software engineering. 1985, Vol 11, Num 5, pp 454-461, issn 0098-5589Article

The Lübeck Transformation System: A transformation system for equational higher order algebraic specificationsDOSCH, Walter; MAGNUSSEN, Sönke.Lecture notes in computer science. 2002, pp 85-108, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Reasoning inductively about Z specifications via unificationDUFFY, D. A; TOYN, I.Lecture notes in computer science. 2000, pp 75-94, issn 0302-9743, isbn 3-540-67944-8Conference Paper

Algebraic models of microprocessors. Architecture and organisationHARMAN, N. A; TUCKER, J. V.Acta informatica. 1996, Vol 33, Num 5, pp 421-456, issn 0001-5903Article

On the existence of free models in abstract algebraic institutionsTARLECKI, A; DE BAKKER, J. W.Theoretical computer science. 1985, Vol 37, Num 3, pp 269-304, issn 0304-3975Article

Spezifikations- und Beschreibungssprache des CCITT = Langage de description et de spécification du CCITT = Specification and description language of the CCITTKLIER, H.Nachrichtentechnik. Elektronik. 1984, Vol 34, Num 12, pp 444-450, issn 0323-4657Article

GRAFCET: Structuration des descriptions. ApplicationsDUMERY, Jean-Jacques.Techniques de l'ingénieur. Informatique industrielle. 2007, Vol S2, Num S7241, issn 1632-3831, S7241.1-S7241.16Article

Extreme programming and modelling? PanelSTEVENS, Perdita; BOGER, Marko; MELLOR, Stephen et al.Lecture notes in computer science. 2000, pp 353-358, issn 0302-9743, isbn 3-540-41133-XConference Paper

Hiding more of hidden algebraGOGUEN, J; ROSU, G.Lecture notes in computer science. 1999, pp 1704-1719, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Proposition de méthodologie pour la description de systèmes automatiques = Proposition of a methodology for automatic control systems descriptionSAVOYSKY, Serge.1983, 162 pThesis

'The Standard logic for Z': A clarificationKING, S.Formal aspects of computing. 1999, Vol 11, Num 4, pp 472-473, issn 0934-5043Article

Familial model of dataORMAN, L.International journal of computer & information sciences. 1984, Vol 13, Num 3, pp 149-175, issn 0091-7036Article

A requirements modeling language and its logicGREENSPAN, S. J; BORGIDA, A; MYLOPOULOS, J et al.Information systems (Oxford). 1986, Vol 11, Num 1, pp 9-23, issn 0306-4379Article

Parameter passing in algebraic specification languagesEHRIG, H; KREOWSKI, H.-J; THATCHER, J et al.Theoretical computer science. 1984, Vol 28, Num 1-2, pp 45-81, issn 0304-3975Article

A familial specification language for database application systemsORMAN, L.Computer languages. 1983, Vol 8, Num 3-4, pp 113-124, issn 0096-0551Article

FIDL: Spécifications formelles en IDL3 = FIDL: Formal specifications in IDL3BAILLY, Arnaud; RYL, Isabelle; CLERBOUT, Mireille et al.L' Objet (Paris). 2003, Vol 9, Num 1-2, pp 213-225, issn 1262-1137, 13 p.Conference Paper

Comments on formal specification of user interfaces: a comparison and evaluation of four axiomatic approachesALEXANDER, H.IEEE transactions on software engineering. 1988, Vol 14, Num 4, pp 438-439, issn 0098-5589Article

Real-time software life cycle with the model systemTSENG, J. S; SZYMANSKI, B; YUAN SHI et al.IEEE transactions on software engineering. 1986, Vol 12, pp 358-373, issn 0098-5589Article

Z Logic and its consequencesHENSON, Martin C; REEVES, Steve; BOWEN, Jonathan P et al.Computing and informatics. 2003, Vol 22, Num 3-4, pp 381-415, issn 1335-9150, 35 p.Article